161. Inductive logic programming : 7th International Workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings
پدیدآورنده : Nada Lavrac, Saso Dzeroski, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1297
162. Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, Angust 1996 : selected papers
پدیدآورنده : Stephen Muggleton, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1314
163. Inductive logic programming: 15th international conference, ILP 2005, Bonn, Germany, August 10-13, 2005: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Automatic hypothesis formation
رده :
QA
76
.
63
.
I52
2005
164. Inductive logic programming: 15th international conference, ILP 2005, Bonn, Germany, August 10-13, 2005: proceedings
پدیدآورنده : / Stefan Kramer, Bernhard Pfahringer (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic programming,Automatic hypothesis formation,-- Congresses,-- Congresses
رده :
005
.
115
I42I
2005
165. Inductive logic programming: 15th international conference, ILP 2005, Bonn, Germany, August 10-13, 2005 : proceedings
پدیدآورنده : Stefan Kramer, Bernhard Pfahringer )eds.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Automatic hypothesis formation
رده :
QA
76
.
63
.
I52
2005
166. Inductive logic programming: 11th international conference, ILP 2001, Strasbourg, France, September 9-11, 2001: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic programming
رده :
QA
76
.
63
.
I52
2001
167. Inductive logic programming :12th international conference, ILP 2002, Sydney, Australia, July 2002 : revised papers
پدیدآورنده : Stan Matwin, Claude Sammut )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2583
168. Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings
پدیدآورنده : Tamas Horvath, Akihiro Yamamoto )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2835
169. Interactive relational database design : a logic programming implementation
پدیدآورنده : Bagchi, Tapan P.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Database design,، Relational databases,، Logic programming
رده :
QA
76
.
L28
Vol
.
402
170. Interactive relational database design: a logic programming implementation
پدیدآورنده : Bagchi, Tapan P.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Database design,، Relational databases,، Logic programming
رده :
QA
76
.
9
.
D26
.
B34
1989
171. Interactive theory revision : an inductive logic programming approach
پدیدآورنده : Raedt, Luc de
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic programming,، Machine learning,، Expert systems
رده :
QA
76
.
63
.
R34
1992
172. Introduction to logic programming
پدیدآورنده : Hogger, Christorpher John
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H624
1984
173. Introduction to logic programming
پدیدآورنده : Hogger, Christopher John.
موضوع : ، Logic programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
174. Introduction to logic programming
پدیدآورنده : Hogger, Christopher John
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H64
1984
175. Just enough programming logic and design /
پدیدآورنده : Joyce Farrell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic programming.,Logic programming.
رده :
QA76
.
63
.
F367
2013
176. )Lambda(-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
پدیدآورنده : IAC-CNR, Istituto per le applicazioni del calcolo Mauro Picone of the Consiglio nazionale delle ricerche ; edited by C. Bohm
موضوع : Congresses ، Combinatory logic,Congresses ، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
177. Lambda-calculus, combinators, and functional programming
پدیدآورنده : Revesz, Gyorgy E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Lambda calculus,، Combinatory logic,، Functional programming languages
رده :
QA
9
.
5
.
R48
1988
178. Lambda-calculus, combinators, and functional programming
پدیدآورنده : G.E. Revesz
موضوع : Lambda calculus,Combinatory logic,Functional programming languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
179. Language, logic, and computation :
پدیدآورنده : Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
9
.
L63
180. Latest advances in inductive logic programming /
پدیدآورنده : Stephen Muggleton, Imperial College London, UK, Hiroaki Watanabe, Imperial College London, UK
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Induction (Logic),Logic programming,Machine learning
رده :
QA76
.
63
.
M84
2014
